实例依赖的可验证随机函数的高效构造*

实例依赖的可验证随机函数是由文献[1]提出的一个新的密码学概念,它也是构造高安全性的零知识协议（如可重置零知识论证系统）的一个强有力的工具,而这些高安全性的零知识协议在智能卡和电子商务中有着重要的潜在价值。基于非交互ZAP证明系统和random oracle模型中∑OR-协议,给出了实例依赖的可验证伪随机函数的两个高效的实现和相应的安全性证明,提升了这一工具的应用价值。     

近海海洋生物体中多环芳烃的GC-MS分析

建立了气相色谱–质谱–定性离子扫描法测定近海海洋生物体中10种多环芳烃的方法.探讨了扫描方式对方法检出限的影响,以及定性离子强度比的匹配度对定性结果的影响.10种多环芳烃测定方法的检出限为0.10～0.61μg/kg,方法线性关系良好,加标回收率为63.1%～98.1%,相对标准偏差为3.9%～15.2%.此方法适用于海洋生物体中多环芳烃的分析.     

超临界流体技术制备中药超细粉体

颗粒细、药效好、用量少已成为现代中药制剂的必然发展趋势。利用近年提出的超临界流体辅助雾化过程成功制备出了中药复方肝炎制剂的超细粉体,系统分析了混合器压力和温度及进液速率对微粒形态、粒径和粒径分布的影响。结果表明：利用超临界辅助雾化过程,以水和乙醇的混合溶液为溶剂,可制备出粒径范围为1.0～5.0μm的复方肝炎超细粉体,且大部分粒子形态呈完整的球形。各影响因素对粒径及粒径分布均有不同程度的影响,其中混合器压力及溶液浓度对粒径及粒径分布的影响最明显,进液速率次之,混合器温度的影响较小。在操作范围内较为理想的工艺条件为混合器压力为14 MPa,温度为60℃,进液速率为4.5 mL/min。     

寒地城市快速路冰雪路面交通流特性研究

利用视频检测系统采集城市快速路冰雪路面上的交通数据,对城市快速路冰雪路面交通流特性进行了研究;分析了冰雪路面对道路交通安全影响,探讨了城市快速路冰雪路面上车速变化、车头时距分布特性,对比分析了冰雪路面与非冰雪路面上城市快速路交通流量与速度的关系,并建立了冰雪路面快速路交通流量与速度关系模型．研究成果将对寒地城市快速路的运营、管理和评价提供科学依据和数据支持．     

网络控制系统新的时滞相关稳定性准则

该文考虑具有网络诱导延时和数据丢包现象的网络控制系统稳定性问题。通过引入一种新的界定方法,给出了一个保守性更小的稳定性结果。数例验证了该文结果的有效性。     

具有区间时变时滞的线性离散系统新稳定准则

该文考虑了具有区间时变时滞线性离散系统的稳定性问题。通过构造适当的Lyapunov-Krasovskii泛函,得到一个改进的具有区间时变时滞线性离散系统的稳定性准则。与现有的此类文献相比较,该文得到了一个具有更小保守性且不需引入多余矩阵变量的稳定性准则。     

基于FFT与STM32 MCU的涡街信号处理系统设计

该文针对涡街传感器输出信号的特点和低流速时涡街流量计测量精度受限的问题,设计了一种基于STM32芯片的数字涡街信号处理方法与系统,将涡街传感器输出信号通过低噪声前置放大电路,可采集低流速下的涡街信号,再通过频谱分析法FFT准确计算出涡街信号频率,有效提高了测量精度。     

部分信息下的最优投资选择模型研究

在部分信息下研究了均值方差投资选择模型.投资者只能观察到风险资产的价格,漂移过程用一个高斯过程来刻画.本文的目的是使最终财富期望最大化,而使得最终财富的方差最小.本文模型中有一个债券及股票资产,在部分信息下推导出了最优策略及均值方差有效前沿.     

Analysis Model on Penetration Depth of Concrete by Eroding Long-Rod Projectiles

Mass loss should be considered while calculating the penetration depth of concrete by eroding long-rod projectiles of high velocity.The penetration process is divided into two phases:eroding phase and rigid phase.During eroding phase,a model to predict the penetration depth is established on the assumption that there is a chipping region in the bottom of crater.During rigid phase,Forrestal formula is adopted to calculate the penetration depth.Using this model,the depth of concrete penetration by a tungsten alloy long-rod projectile is calculated.When the critical eroding velocity is between 950 m/s and 1 000 m/s,the result is in good agreement with the experimental data.     

人工智能研究的局限性及其困境

人工智能的研究无疑意义巨大,但也确实困难重重,在参阅了大量文献的基础上,从认识论、方法论、基础理论、计算模型以及实现技术等方面深入地讨论了人工智能研究所面临的困境及其局限性,对人们全面认识人工智能有一定的参考价值.